Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
371	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Semigroup theory Abstract algebra Category theory Monoid Inverse element Semigroup Constructible universe Isabelle Fixed-point combinator Mathematics Algebra Algebraic structures
372	Steganographic Strategies for a Square Distortion Function Andrew D. Ker Oxford University Computing Laboratory, Parks Road, Oxford OX1 3QD, England ABSTRACT Recent results on the information theory of steganography sugg Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-01-28 17:19:19 Differential topology Maps of manifolds Category theory Abstract algebra Mathematical analysis Embedding Steganalysis Topology Mathematics Steganography
373	Folding Domain-Specific Languages: Deep and Shallow Embeddings (Functional Pearl) Jeremy Gibbons Nicolas Wu Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-07-22 11:18:20 Higher-order functions Functions and mappings Category theory General topology Functors Fold Monad Map Functor Mathematics Topology Abstract algebra
374	Development of an engagement framework for a first year teacher education program Category: Research Gretchen Geng, Jenny Buckworth, Janice Crerar, Donna Robbins, Add to Reading List Source URL: ctl.curtin.edu.au Language: English - Date: 2015-04-09 06:33:25 Education theory Critical pedagogy Philosophy of education Student engagement Teacher education E-learning Student-centred learning Experiential education Education Educational psychology Popular education
375	G E N E R AT O R S P R O D U C T G U I D E tHroUGH sUn anD storM in 1922 our first marine generators traveled the seas on luxury ships. today, as they were more than 90 years ago, KoHLer® generators are built to last Add to Reading List Source URL: www.taurus.gda.pl Language: English - Date: 2014-12-11 05:40:04 Utility frequency Electric power Category theory Generator
376	A Categorical Programming Language Tatsuya Hagino Doctor of Philosophy University of Edinburgh Add to Reading List Source URL: synrc.com Language: English - Date: 2009-05-27 23:02:29 Mathematics Type theory Functional programming Category theory Logic in computer science Denotational semantics Initial algebra Semantics of programming languages F-algebra Software engineering Theoretical computer science Data types
377	Pattern Recognition for Coinductive Proof Trees Katya Komendantskaya School of Computing, University of Dundee, UK AI4FM’11,Edinburgh 29 April 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Computer programming Mathematical logic Category theory Functional programming Computability theory Coinduction Recursion Mathematical proof Machine learning Mathematics Logic Theoretical computer science
378	Invodo_Stacks&StacksCaseStudy Add to Reading List Source URL: demandware.edgesuite.net Language: English - Date: 2011-12-09 15:16:43 Algebraic stack Stack Library Focus Algebraic geometry Category theory Games
379	Metric Embeddings with Relaxed Guarantees∗ T-H. Hubert Chan† Kedar Dhamdhere‡ Anupam Gupta§ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-09-03 02:26:52 Category theory Differential topology Embedding General topology Order theory Planar graph Randomized algorithm Doubling measure Mathematics Graph theory Topology
380	From: _IWATA,_Shuichiï¼H)_ To: _ Cc: _HSS_ ; _Jean-Jacques_ROYER_ ; _Kathleen_Cass_ ; _seonpark_ ; _Sun_Honglie_ ; _Prof._Sung-Kee_Chu_ ; _Mu-Shik_Jhon_ ; _Lal_Krishan_ ; _Kunisawa_ Add to Reading List Source URL: codata.sinica.edu.tw Language: English - Date: 2013-11-28 01:36:18 Functional programming Category theory Theoretical computer science Indonesian Institute of Sciences Coinduction International System of Units Measurement Mathematics International standards International relations Committee on Data for Science and Technology

UPDATE